perm filename ATC.OUN[MRS,LSP] blob
sn#669878 filedate 1982-07-28 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP))
'(ASSEMBLED BY FASLAP /392)
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117)
;COMPILED ON JULY 28, 1982, AT 1:20 PM
;Loading DEFSTRUCT 233
'↑↓-TERM
'LT-QUANTIFIER
'ROLELINK
'PFC-FORMULA
'ROLEXENTRY
'LT-λ-EXPR
'LT-λ-PREFIX
'PATHKEYLIST
(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR))
(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR))
(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR))
(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR))
(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR))
(COMMENT **FASL** 303. (LAP |LAMBDA-OPR MACRO| SUBR))
(COMMENT **FASL** 332. (LAP |E:DO MACRO| SUBR))
(COMMENT **FASL** 360. (LAP |E:VAR MACRO| SUBR))
(COMMENT **FASL** 392. (LAP E:SETLINE SUBR))
(COMMENT **FASL** 430. (LAP |ADDCONC MACRO| SUBR))
(COMMENT **FASL** 468. (LAP |ENDCONC MACRO| SUBR))
(COMMENT **FASL** 517. (LAP |ENDADD MACRO| SUBR))
(COMMENT **FASL** 572. (LAP |RASSQ MACRO| SUBR))
(COMMENT **FASL** 621. (LAP |EDITXDO MACRO| SUBR))
(COMMENT **FASL** 675. (LAP |EDITDO MACRO| SUBR))
(COMMENT **FASL** 713. (LAP |COPYLIST MACRO| SUBR))
(COMMENT **FASL** 739. (LAP |BUTLAST MACRO| SUBR))
(COMMENT **FASL** 770. (LAP |REPEAT MACRO| SUBR))
(COMMENT **FASL** 810. (LAP |SETF* MACRO| SUBR))
(COMMENT **FASL** 846. (LAP |SOME MACRO| SUBR))
(COMMENT **FASL** 911. (LAP |SUBSET MACRO| SUBR))
(COMMENT **FASL** 961. (LAP GOOD-NREVERSE SUBR))
(COMMENT **FASL** 1018. (LAP NSUBLIS SUBR))
(COMMENT **FASL** 1078. (LAP |HUNKQUANTP MACRO| SUBR))
(COMMENT **FASL** 1113. (LAP QNSUBLIS SUBR))
(COMMENT **FASL** 1248. (LAP |CONDCARPUSH MACRO| SUBR))
(COMMENT **FASL** 1310. (LAP |WRITE MACRO| SUBR))
(COMMENT **FASL** 1389. (LAP SPACES SUBR))
(COMMENT **FASL** 1406. (LAP |NORMALIZE-CONNECTIVE MACRO| SUBR))
(COMMENT **FASL** 1453. (LAP LINTYPE SUBR))
(COMMENT **FASL** 1666. (LAP E-LIN SUBR))
(COMMENT **FASL** 1667. (LAP ENCODE-LINFORMULA SUBR))
(COMMENT **FASL** 1677. (LAP |SETUPQUANTS MACRO| SUBR))
(COMMENT **FASL** 1726. (LAP |ORDER-PATHKEYS MACRO| SUBR))
(COMMENT **FASL** 1752. (LAP ENCODE-LINFORMULA-S SUBR))
(COMMENT **FASL** 2049. (LAP TRANSFORM-ROLELINKS SUBR))
(COMMENT **FASL** 2151. (LAP |NORMALIZE-DETERMINER MACRO| SUBR))
(COMMENT **FASL** 2198. (LAP ENCODE-QUANT SUBR))
(COMMENT **FASL** 2386. (LAP VARIABLE-RANGE SUBR))
(COMMENT **FASL** 2429. (LAP GETFORMULA SUBR))
(COMMENT **FASL** 2456. (LAP |ATC-GET MACRO| SUBR))
(COMMENT **FASL** 2516. (LAP |ATC-PLIST MACRO| SUBR))
(COMMENT **FASL** 2595. (LAP LT-TYPE SUBR))
(COMMENT **FASL** 2804. (LAP LT-TYPE* SUBR))
(COMMENT **FASL** 2989. (LAP DISPLAY LSUBR))
(COMMENT **FASL** 3013. (LAP DPYLIST SUBR))
(COMMENT **FASL** 3030. (LAP VNSUBLIS SUBR))
(COMMENT **FASL** 3057. (LAP |INITIALIZE-GENVARINDEX MACRO| SUBR))
(COMMENT **FASL** 3066. (LAP GENVAR LSUBR))
(COMMENT **FASL** 3199. (LAP |TERMSORT-VARANGE MACRO| SUBR))
(COMMENT **FASL** 3230. (LAP MAKE-QVLIST SUBR))
(COMMENT **FASL** 3418. (LAP |UNARY-ATOMIC MACRO| SUBR))
(COMMENT **FASL** 3465. (LAP |NOPAREN-DISJUNCT MACRO| SUBR))
(COMMENT **FASL** 3474. (LAP |DPYLIST-ROLINK MACRO| SUBR))
(COMMENT **FASL** 3542. (LAP |MAKE-↑↓-[-ATOM MACRO| SUBR))
(COMMENT **FASL** 3574. (LAP |Z-BASE-EQUIV MACRO| SUBR))
(COMMENT **FASL** 3606. (LAP DPYLIST-S SUBR))
(COMMENT **FASL** 4313. (LAP TCONC SUBR))
(COMMENT **FASL** 4344. (LAP LCONC SUBR))
(COMMENT **FASL** 4382. (LAP TERMSORT SUBR))
(COMMENT **FASL** 4485. (LAP NORMALIZE-TERMSORTEXPR SUBR))
(COMMENT **FASL** 4529. (LAP |PRINCLIST MACRO| SUBR))
(COMMENT **FASL** 4556. (LAP |PRINSOURCECHUNK MACRO| SUBR))
(COMMENT **FASL** 4565. (LAP |GETSBQLINE MACRO| SUBR))
(COMMENT **FASL** 4640. (LAP |NEXTITEMSIZE MACRO| SUBR))
(COMMENT **FASL** 4668. (LAP |PRINITEMS MACRO| SUBR))
(COMMENT **FASL** 4732. (LAP |PRINSUBQUANT1 MACRO| SUBR))
(COMMENT **FASL** 4765. (LAP |PRINSUBQUANT2 MACRO| SUBR))
(COMMENT **FASL** 4798. (LAP |GETQUANTLINE MACRO| SUBR))
(COMMENT **FASL** 4849. (LAP |GETλ-LINE MACRO| SUBR))
(COMMENT **FASL** 4898. (LAP |MAXVARIABLENGTH MACRO| SUBR))
(COMMENT **FASL** 4933. (LAP |SPACELEFT MACRO| SUBR))
(COMMENT **FASL** 4942. (LAP STRAIGHTPRIN SUBR))
(COMMENT **FASL** 5206. (LAP PRINQUANT SUBR))
(COMMENT **FASL** 5483. (LAP PRINλ-EXPR SUBR))
(COMMENT **FASL** 5534. (LAP TAB SUBR))
(COMMENT **FASL** 5564. (LAP CURRENTPOS LSUBR))
'LINK-NODE
'LEAF-NODE
'LTCC-PLIST
(COMMENT **FASL** 5580. (LAP NRML-ANL-YZE-LINFORMULA LSUBR))
(COMMENT **FASL** 5610. (LAP |NRML-FORMULA MACRO| SUBR))
(COMMENT **FASL** 5639. (LAP |NRML-ANL-YZE MACRO| SUBR))
(COMMENT **FASL** 5692. (LAP |LT-CONCEPT-TYPE MACRO| SUBR))
(COMMENT **FASL** 5743. (LAP |ADD-NEWLINK MACRO| SUBR))
(COMMENT **FASL** 5791. (LAP |LEAF-UNIT MACRO| SUBR))
(COMMENT **FASL** 5816. (LAP NORMALIZE-CMPD-CONCEPT LSUBR))
(COMMENT **FASL** 5907. (LAP INITIALIZE-CMPD-CONCEPT SUBR))
(COMMENT **FASL** 5980. (LAP |CONCEPT-BODY MACRO| SUBR))
(COMMENT **FASL** 6023. (LAP |1ST-PROCESS-↑-MATRIX MACRO| SUBR))
(COMMENT **FASL** 6079. (LAP |PROCESS-↑-MATRIX MACRO| SUBR))
(COMMENT **FASL** 6133. (LAP |COLLECT-IMAGES MACRO| SUBR))
(COMMENT **FASL** 6189. (LAP |MERGED-PKLS MACRO| SUBR))
(COMMENT **FASL** 6216. (LAP |SETUP-λ-EXPR MACRO| SUBR))
(COMMENT **FASL** 6284. (LAP |PREVIOUS-LETTER MACRO| SUBR))
(COMMENT **FASL** 6317. (LAP |ANALYZE-ADVERBIALIZATION MACRO| SUBR))
(COMMENT **FASL** 6384. (LAP |INST-KEYS MACRO| SUBR))
(COMMENT **FASL** 6446. (LAP ORDER-CNCPTS SUBR))
(COMMENT **FASL** 6451. (LAP PRECEDES-CNCPT SUBR))
(COMMENT **FASL** 6754. (LAP |GET-PKL-POSITION MACRO| SUBR))
(COMMENT **FASL** 6825. (LAP |GET-Q-OP MACRO| SUBR))
(COMMENT **FASL** 6882. (LAP |↑-ASCII MACRO| SUBR))
(COMMENT **FASL** 6909. (LAP |λ-ASCII MACRO| SUBR))
(COMMENT **FASL** 6936. (LAP |*-OR-↑-ASCII MACRO| SUBR))
(COMMENT **FASL** 6962. (LAP |*-OR-C-ASCII MACRO| SUBR))
(COMMENT **FASL** 6988. (LAP |C-ASCII MACRO| SUBR))
(COMMENT **FASL** 7015. (LAP |2:9-ASCII MACRO| SUBR))
(COMMENT **FASL** 7052. (LAP |NUMERAL-ASCII MACRO| SUBR))
(COMMENT **FASL** 7089. (LAP |λ↑-RAISE-CC-OP MACRO| SUBR))
(COMMENT **FASL** 7122. (LAP |RAISE-CC MACRO| SUBR))
(COMMENT **FASL** 7178. (LAP |RAISE-CC-OP MACRO| SUBR))
(COMMENT **FASL** 7211. (LAP |GET-BASE-OP MACRO| SUBR))
(COMMENT **FASL** 7259. (LAP |GET-S&S-KEY MACRO| SUBR))
(COMMENT **FASL** 7315. (LAP NORMRAISE-CC LSUBR))
(COMMENT **FASL** 7824. (LAP QV-QUASI-UNSUBST LSUBR))
(COMMENT **FASL** 8117. (LAP ANALYZE-CMPD-CONCEPT LSUBR))
(COMMENT **FASL** 10068. (LAP NACC LSUBR))
(COMMENT **FASL** 10110. (LAP |GET-PK-POSITION MACRO| SUBR))
(COMMENT **FASL** 10153. (LAP |GET-MERGEKEYS MACRO| SUBR))
(COMMENT **FASL** 10209. (LAP |EXPAND-MERGED-PKEYLISTS MACRO| SUBR))
(COMMENT **FASL** 10266. (LAP ANALYZE-ROLEMERGE SUBR))
(COMMENT **FASL** 10463. (LAP ATOM-CONVERTIBLE SUBR))
(COMMENT **FASL** 10513. (LAP ADJUST-λ-TERMSORT SUBR))
(COMMENT **FASL** 10543. (LAP COMMON-SUBSORT* SUBR))
(COMMENT **FASL** 10587. (LAP SUPERSORT* SUBR))
(COMMENT **FASL** 10724. (LAP |MAKE-↑-MARKER MACRO| SUBR))
(COMMENT **FASL** 10787. (LAP PATHKEY-SORT SUBR))
(COMMENT **FASL** 10938. (LAP GET-ROLELINK SUBR))
(COMMENT **FASL** 10971. (LAP |ALPHA-NTH MACRO| SUBR))
(COMMENT **FASL** 11016. (LAP TERM-SUBRANCH SUBR))
(COMMENT **FASL** 11092. (LAP COPYALLCONS SUBR))
(COMMENT **FASL** 11108. (LAP COPY-1-1-PKLS SUBR))
(COMMENT **FASL** 11145. (LAP LT-COPYALL SUBR))
(COMMENT **FASL** 11153. (LAP LT-SUBST SUBR))
(COMMENT **FASL** 11164. (LAP LT-SUBST* SUBR))
(COMMENT **FASL** 11399. (LAP SELECT&SHORTEN SUBR))
(COMMENT **FASL** 11464. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR))
(COMMENT **FASL** 11469. (LAP ORDER-PATHKEYLISTS SUBR))
(COMMENT **FASL** 11471. (LAP ORDER-ROLELINKS SUBR))
(COMMENT **FASL** 11482. (LAP COMPARE-ROLEORDER SUBR))
(COMMENT **FASL** 11488. (LAP CULL-EQS SUBR))
(COMMENT **FASL** 11507. (LAP |CONDENSE-RL-KEYLISTS MACRO| SUBR))
(COMMENT **FASL** 11546. (LAP SOME-DUPLICATE-ROLEMARKS SUBR))
(COMMENT **FASL** 11634. (LAP |ATOM-QUASI-UNSUBST MACRO| SUBR))
(COMMENT **FASL** 11742. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR))
(COMMENT **FASL** 11757. (LAP ANALYZE-INSTANTIATION SUBR))
(COMMENT **FASL** 12375. (LAP λ-UNSUBST LSUBR))
(COMMENT **FASL** 12490. (LAP |CC-KEY-ROLINK-NUMBER MACRO| SUBR))
(COMMENT **FASL** 12541. (LAP |INITSTR= MACRO| SUBR))
(COMMENT **FASL** 12594. (LAP λ-INST-KEY SUBR))
(COMMENT **FASL** 12670. (LAP RAISEATOM SUBR))
(COMMENT **FASL** 12719. (LAP GET-↑-MARKER SUBR))
(COMMENT **FASL** 12760. (LAP GET-↑-TALLY SUBR))
(COMMENT **FASL** 12878. (LAP LOWER-↑-ATOM SUBR))
(COMMENT **FASL** 12926. (LAP LOWER-λ-TERMSORTS SUBR))
(COMMENT **FASL** 12967. (LAP RAISE-λ-TERMSORTS SUBR))
(COMMENT **FASL** 13005. (LAP RAISE↑-TERM SUBR))
(COMMENT **FASL** 13042. (LAP |NEXTLETTER MACRO| SUBR))
(COMMENT **FASL** 13075. (LAP KEYNUMBER SUBR))
(COMMENT **FASL** 13097. (LAP |LISTCOMPS MACRO| SUBR))
(COMMENT **FASL** 13129. (LAP |EXPOUND-ANALYSIS-MODULE-1 MACRO| SUBR))
(COMMENT **FASL** 13246. (LAP POSPRINC LSUBR))
(COMMENT **FASL** 13313. (LAP ANALYZE&EXPOUND LSUBR))
(COMMENT **FASL** 13621. (LAP A&E LSUBR))
(COMMENT **FASL** 13644. (LAP FIX-AL SUBR))
(COMMENT **FASL** 13711. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR))
(COMMENT **FASL** 13879. (LAP EXPLORE-DNET LSUBR))
(COMMENT **FASL** 14057. (LAP XPDN LSUBR))
(COMMENT **FASL** 14081. (LAP GET-XPDN-COMMAND SUBR))
(COMMENT **FASL** 14085. (LAP TRAVERSE-LINKS SUBR))
(COMMENT **FASL** 14324. (LAP DISPLAY-KEYPATH SUBR))
(COMMENT **FASL** 14447. (LAP DISPLAY-NODE SUBR))
(COMMENT **FASL** 14629. (LAP EXTEND-CURRENT-KEYPATH SUBR))
(COMMENT **FASL** 14695. (LAP SHORTEN-CURRENT-NODEPATH SUBR))
(COMMENT **FASL** 14871. (LAP COUNT-LINKS&LEAVES SUBR))
(COMMENT **FASL** 14958. (LAP PRINT-PROPERTIES SUBR))
'HELP-TABLE-ENTRY
(COMMENT **FASL** 15260. (LAP XPDN-HELP SUBR))
(COMMENT **FASL** 15370. (LAP LT-EVAL SUBR))
(COMMENT **FASL** 15511. (LAP WEAKEST-STATUS SUBR))
(COMMENT **FASL** 15530. (LAP SORT-MEMBER SUBR))
(COMMENT **FASL** 15543. (LAP SORT-EXCLUSIVE SUBR))
(COMMENT **FASL** 15614. (LAP |ES-FILTER MACRO| SUBR))
(COMMENT **FASL** 15640. (LAP LT-GROSSEVAL SUBR))
(COMMENT **** (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS)
have been used but remain undefined in this file)
(COMMENT **FASL** TOTAL = 15658. WORDS)